hilbert's program artinya
- program: memprogram; rancangan; rencana; siaran radio;
- hilbert: david hilbert; hilbert
- david hilbert: david hilbert; hilbert
Contoh
- The main goal of Hilbert's program was to provide secure foundations for all mathematics.
Tujuan utama dari program Hilbert adalah untuk memberikan dasar yang aman untuk semua matematika. - The two results are widely, but not universally, interpreted as showing that Hilbert's program to find a complete and consistent set of axioms for all mathematics is impossible, giving a negative answer to Hilbert's second problem.
Kedua hasil ini secara luas, tetapi tidak secara universal, ditafsirkan telah menunjukkan bahwa program Hilbert untuk menghitung himpunan lengkap dan konsisten dari aksioma-aksioma bagi semua matematika adalah tidak mungkin, sehingga memberikan jawaban negatif terhadap soal Hilbert yang kedua. - It was the goal of Hilbert's program to put all of mathematics on a firm axiomatic basis, but according to G?del's incompleteness theorem every (sufficiently powerful) axiomatic system has undecidable formulas; and so a final axiomatization of mathematics is impossible.
Inilah tujuan program Hilbert untuk meletakkan semua matematika pada sebuah basis aksioma yang kokoh, tetapi menurut Teorema ketaklengkapan G?del tiap-tiap sistem aksioma (yang cukup kuat) memiliki rumus-rumus yang tidak dapat ditentukan; dan oleh karena itulah suatu aksiomatisasi terakhir di dalam matematika adalah mustahil.
